Nuprl Definition : islocal 0,22
islocal(k) == isl(k) 
latex

Definitionsisl(x), b
FDL editor aliasesislocal

origin